1. Mathematical Logic :
پدیدآورنده : by Roman Kossak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applications of Mathematics.,Arithmetic and Logic Structures.,Logic.,Mathematical Logic and Foundations.,Philosophy of Mathematics.,Mathematische Logik.
رده :
QA8-QA10
.
4
2. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
3. Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland
پدیدآورنده : /by Ali Enayat (Editor), Roman Kossak (Editor)
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع :
4. Nonstandard models of arithmetic and set theory : AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland
پدیدآورنده : Ali Enayat, Roman Kossak, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory
رده :
QA
248
.
A486
2003
5. Simplicity
پدیدآورنده : \ Roman Kossak, Philip Ording Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics -- Philosophy -- Congresses.,Art -- Philosophy -- Congresses.,ریاضیات -- فلسفه -- کنگره ها,هنر -- فلسفه -- کنگره ها
رده :
E-Book
,
6. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
7. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe--8581-2391,، Logic, Symbolic and mathematica--roblems, exercises, etc,، Isomorphisms )Mathematics(,، Isomorphisms )Mathematics--roblems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
8. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
